and Logic

Results: 11835



#Item
321

On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.)

Add to Reading List

Source URL: www-ps.informatik.uni-kiel.de

- Date: 2014-06-15 10:44:56
    322

    A Program Transformation for Tracing Functional Logic Computations? Bernd Brassel, Sebastian Fischer, and Frank Huch Institute of Computer Science University of Kiel, 24098 Kiel, Germany {bbr,sebf,fhu}@informatik.uni-kie

    Add to Reading List

    Source URL: www-ps.informatik.uni-kiel.de

    - Date: 2014-06-15 10:44:21
      323

      Systematic Generation of Glass-Box Test Cases for Functional Logic Programs Herbert Kuchen1 and Sebastian Fischer2 1 University of M¨

      Add to Reading List

      Source URL: www-ps.informatik.uni-kiel.de

      - Date: 2014-06-15 10:44:22
        324

        1 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

        Add to Reading List

        Source URL: www.illc.uva.nl

        - Date: 2006-04-27 10:35:42
          325

          Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2013-05-22 23:44:30
            326

            Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2015-06-23 07:31:00
              327

              On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

              Add to Reading List

              Source URL: www-ps.informatik.uni-kiel.de

              - Date: 2014-06-15 10:42:57
                328

                Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2010-01-12 10:01:42
                  329

                  Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

                  Add to Reading List

                  Source URL: sigops.org

                  - Date: 2015-09-14 18:51:05
                    UPDATE